Abstraction de traces en analyse statique et transformation de programmes. (Traces abstraction in static analysis and program transformation)
نویسنده
چکیده
ion de traces en analyse statique et transformation de programmes.
منابع مشابه
Analyse de Programmes Malveillants par Abstraction de Comportements. (Analysis of Malware by Behavior Abstraction)
ion de Comportements par Réécriture de Mots Nous avons vu, en Section 1.2, que l’analyse comportementale classique opérait directement au niveau des interactions observées (les appels de librairie, les appels systèmes...), ce qui rend la détection de comportements suspects peu robuste puisque la moindre modification dans la mise en œuvre d’une fonctionnalité permet de faire échouer la détection...
متن کاملA Provably Correct Stackless Intermediate Representation for Java Bytecode
The Java virtual machine executes stack-based bytecode. The intensive use of an operand stack has been identified as a major obstacle for static analysis and it is now common for static analysis tools to manipulate a stackless intermediate representation (IR) of bytecode programs. Several algorithms have been proposed to achieve such a transformation, but only little attention has been paid to ...
متن کاملDioïdes et idéaux de polynômes en analyse statique. (Static analysis with dioids and polynomial ideals)
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملA Framework to Analyse Synchronous Data - Flow
Presence and absence of signals inside a reaction are inherent to the synchronous paradigm, as well as clocks which are sets of instants that indicate when a given condition is fulllled over a sequence of reactions (e.g. when a signal is present). Clocks are essential to capture the control in data-ow speciications; more generally relations between clocks should be analyzed to verify some prope...
متن کاملDifférentiation automatique et formes de Taylor en analyse statique de programmes numériques
Résumé Des travaux récents sur l’analyse statique de programmes numériques ont montré que les techniques d’interprétation abstraite étaient adaptées à la validation de la précision des calculs en arithmétique flottante. L’utilisation des intervalles comme domaine numérique, même avec des méthodes de subdivision, induit une sur-approximation des résultats en particulier par l’existence de l’effe...
متن کامل